#0000096304
22 / 48
Z notation is a widely used formal specification language. In this language, what does [a] indicate?